Optimal. Leaf size=267 \[ \frac{3 a^2 b \sinh ^3(c+d x) \cosh (c+d x)}{4 d}-\frac{9 a^2 b \sinh (c+d x) \cosh (c+d x)}{8 d}+\frac{9}{8} a^2 b x+\frac{a^3 \cosh (c+d x)}{d}+\frac{3 a b^2 \cosh ^7(c+d x)}{7 d}-\frac{9 a b^2 \cosh ^5(c+d x)}{5 d}+\frac{3 a b^2 \cosh ^3(c+d x)}{d}-\frac{3 a b^2 \cosh (c+d x)}{d}+\frac{b^3 \sinh ^9(c+d x) \cosh (c+d x)}{10 d}-\frac{9 b^3 \sinh ^7(c+d x) \cosh (c+d x)}{80 d}+\frac{21 b^3 \sinh ^5(c+d x) \cosh (c+d x)}{160 d}-\frac{21 b^3 \sinh ^3(c+d x) \cosh (c+d x)}{128 d}+\frac{63 b^3 \sinh (c+d x) \cosh (c+d x)}{256 d}-\frac{63 b^3 x}{256} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.222053, antiderivative size = 267, normalized size of antiderivative = 1., number of steps used = 14, number of rules used = 5, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.238, Rules used = {3220, 2638, 2635, 8, 2633} \[ \frac{3 a^2 b \sinh ^3(c+d x) \cosh (c+d x)}{4 d}-\frac{9 a^2 b \sinh (c+d x) \cosh (c+d x)}{8 d}+\frac{9}{8} a^2 b x+\frac{a^3 \cosh (c+d x)}{d}+\frac{3 a b^2 \cosh ^7(c+d x)}{7 d}-\frac{9 a b^2 \cosh ^5(c+d x)}{5 d}+\frac{3 a b^2 \cosh ^3(c+d x)}{d}-\frac{3 a b^2 \cosh (c+d x)}{d}+\frac{b^3 \sinh ^9(c+d x) \cosh (c+d x)}{10 d}-\frac{9 b^3 \sinh ^7(c+d x) \cosh (c+d x)}{80 d}+\frac{21 b^3 \sinh ^5(c+d x) \cosh (c+d x)}{160 d}-\frac{21 b^3 \sinh ^3(c+d x) \cosh (c+d x)}{128 d}+\frac{63 b^3 \sinh (c+d x) \cosh (c+d x)}{256 d}-\frac{63 b^3 x}{256} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3220
Rule 2638
Rule 2635
Rule 8
Rule 2633
Rubi steps
\begin{align*} \int \sinh (c+d x) \left (a+b \sinh ^3(c+d x)\right )^3 \, dx &=-\left (i \int \left (i a^3 \sinh (c+d x)+3 i a^2 b \sinh ^4(c+d x)+3 i a b^2 \sinh ^7(c+d x)+i b^3 \sinh ^{10}(c+d x)\right ) \, dx\right )\\ &=a^3 \int \sinh (c+d x) \, dx+\left (3 a^2 b\right ) \int \sinh ^4(c+d x) \, dx+\left (3 a b^2\right ) \int \sinh ^7(c+d x) \, dx+b^3 \int \sinh ^{10}(c+d x) \, dx\\ &=\frac{a^3 \cosh (c+d x)}{d}+\frac{3 a^2 b \cosh (c+d x) \sinh ^3(c+d x)}{4 d}+\frac{b^3 \cosh (c+d x) \sinh ^9(c+d x)}{10 d}-\frac{1}{4} \left (9 a^2 b\right ) \int \sinh ^2(c+d x) \, dx-\frac{1}{10} \left (9 b^3\right ) \int \sinh ^8(c+d x) \, dx-\frac{\left (3 a b^2\right ) \operatorname{Subst}\left (\int \left (1-3 x^2+3 x^4-x^6\right ) \, dx,x,\cosh (c+d x)\right )}{d}\\ &=\frac{a^3 \cosh (c+d x)}{d}-\frac{3 a b^2 \cosh (c+d x)}{d}+\frac{3 a b^2 \cosh ^3(c+d x)}{d}-\frac{9 a b^2 \cosh ^5(c+d x)}{5 d}+\frac{3 a b^2 \cosh ^7(c+d x)}{7 d}-\frac{9 a^2 b \cosh (c+d x) \sinh (c+d x)}{8 d}+\frac{3 a^2 b \cosh (c+d x) \sinh ^3(c+d x)}{4 d}-\frac{9 b^3 \cosh (c+d x) \sinh ^7(c+d x)}{80 d}+\frac{b^3 \cosh (c+d x) \sinh ^9(c+d x)}{10 d}+\frac{1}{8} \left (9 a^2 b\right ) \int 1 \, dx+\frac{1}{80} \left (63 b^3\right ) \int \sinh ^6(c+d x) \, dx\\ &=\frac{9}{8} a^2 b x+\frac{a^3 \cosh (c+d x)}{d}-\frac{3 a b^2 \cosh (c+d x)}{d}+\frac{3 a b^2 \cosh ^3(c+d x)}{d}-\frac{9 a b^2 \cosh ^5(c+d x)}{5 d}+\frac{3 a b^2 \cosh ^7(c+d x)}{7 d}-\frac{9 a^2 b \cosh (c+d x) \sinh (c+d x)}{8 d}+\frac{3 a^2 b \cosh (c+d x) \sinh ^3(c+d x)}{4 d}+\frac{21 b^3 \cosh (c+d x) \sinh ^5(c+d x)}{160 d}-\frac{9 b^3 \cosh (c+d x) \sinh ^7(c+d x)}{80 d}+\frac{b^3 \cosh (c+d x) \sinh ^9(c+d x)}{10 d}-\frac{1}{32} \left (21 b^3\right ) \int \sinh ^4(c+d x) \, dx\\ &=\frac{9}{8} a^2 b x+\frac{a^3 \cosh (c+d x)}{d}-\frac{3 a b^2 \cosh (c+d x)}{d}+\frac{3 a b^2 \cosh ^3(c+d x)}{d}-\frac{9 a b^2 \cosh ^5(c+d x)}{5 d}+\frac{3 a b^2 \cosh ^7(c+d x)}{7 d}-\frac{9 a^2 b \cosh (c+d x) \sinh (c+d x)}{8 d}+\frac{3 a^2 b \cosh (c+d x) \sinh ^3(c+d x)}{4 d}-\frac{21 b^3 \cosh (c+d x) \sinh ^3(c+d x)}{128 d}+\frac{21 b^3 \cosh (c+d x) \sinh ^5(c+d x)}{160 d}-\frac{9 b^3 \cosh (c+d x) \sinh ^7(c+d x)}{80 d}+\frac{b^3 \cosh (c+d x) \sinh ^9(c+d x)}{10 d}+\frac{1}{128} \left (63 b^3\right ) \int \sinh ^2(c+d x) \, dx\\ &=\frac{9}{8} a^2 b x+\frac{a^3 \cosh (c+d x)}{d}-\frac{3 a b^2 \cosh (c+d x)}{d}+\frac{3 a b^2 \cosh ^3(c+d x)}{d}-\frac{9 a b^2 \cosh ^5(c+d x)}{5 d}+\frac{3 a b^2 \cosh ^7(c+d x)}{7 d}-\frac{9 a^2 b \cosh (c+d x) \sinh (c+d x)}{8 d}+\frac{63 b^3 \cosh (c+d x) \sinh (c+d x)}{256 d}+\frac{3 a^2 b \cosh (c+d x) \sinh ^3(c+d x)}{4 d}-\frac{21 b^3 \cosh (c+d x) \sinh ^3(c+d x)}{128 d}+\frac{21 b^3 \cosh (c+d x) \sinh ^5(c+d x)}{160 d}-\frac{9 b^3 \cosh (c+d x) \sinh ^7(c+d x)}{80 d}+\frac{b^3 \cosh (c+d x) \sinh ^9(c+d x)}{10 d}-\frac{1}{256} \left (63 b^3\right ) \int 1 \, dx\\ &=\frac{9}{8} a^2 b x-\frac{63 b^3 x}{256}+\frac{a^3 \cosh (c+d x)}{d}-\frac{3 a b^2 \cosh (c+d x)}{d}+\frac{3 a b^2 \cosh ^3(c+d x)}{d}-\frac{9 a b^2 \cosh ^5(c+d x)}{5 d}+\frac{3 a b^2 \cosh ^7(c+d x)}{7 d}-\frac{9 a^2 b \cosh (c+d x) \sinh (c+d x)}{8 d}+\frac{63 b^3 \cosh (c+d x) \sinh (c+d x)}{256 d}+\frac{3 a^2 b \cosh (c+d x) \sinh ^3(c+d x)}{4 d}-\frac{21 b^3 \cosh (c+d x) \sinh ^3(c+d x)}{128 d}+\frac{21 b^3 \cosh (c+d x) \sinh ^5(c+d x)}{160 d}-\frac{9 b^3 \cosh (c+d x) \sinh ^7(c+d x)}{80 d}+\frac{b^3 \cosh (c+d x) \sinh ^9(c+d x)}{10 d}\\ \end{align*}
Mathematica [A] time = 0.459003, size = 184, normalized size = 0.69 \[ \frac{1120 a \left (64 a^2-105 b^2\right ) \cosh (c+d x)+b \left (-53760 a^2 \sinh (2 (c+d x))+6720 a^2 \sinh (4 (c+d x))+80640 a^2 c+80640 a^2 d x+23520 a b \cosh (3 (c+d x))-4704 a b \cosh (5 (c+d x))+480 a b \cosh (7 (c+d x))+14700 b^2 \sinh (2 (c+d x))-4200 b^2 \sinh (4 (c+d x))+1050 b^2 \sinh (6 (c+d x))-175 b^2 \sinh (8 (c+d x))+14 b^2 \sinh (10 (c+d x))-17640 b^2 c-17640 b^2 d x\right )}{71680 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.023, size = 168, normalized size = 0.6 \begin{align*}{\frac{1}{d} \left ({b}^{3} \left ( \left ({\frac{ \left ( \sinh \left ( dx+c \right ) \right ) ^{9}}{10}}-{\frac{9\, \left ( \sinh \left ( dx+c \right ) \right ) ^{7}}{80}}+{\frac{21\, \left ( \sinh \left ( dx+c \right ) \right ) ^{5}}{160}}-{\frac{21\, \left ( \sinh \left ( dx+c \right ) \right ) ^{3}}{128}}+{\frac{63\,\sinh \left ( dx+c \right ) }{256}} \right ) \cosh \left ( dx+c \right ) -{\frac{63\,dx}{256}}-{\frac{63\,c}{256}} \right ) +3\,a{b}^{2} \left ( -{\frac{16}{35}}+1/7\, \left ( \sinh \left ( dx+c \right ) \right ) ^{6}-{\frac{6\, \left ( \sinh \left ( dx+c \right ) \right ) ^{4}}{35}}+{\frac{8\, \left ( \sinh \left ( dx+c \right ) \right ) ^{2}}{35}} \right ) \cosh \left ( dx+c \right ) +3\,{a}^{2}b \left ( \left ( 1/4\, \left ( \sinh \left ( dx+c \right ) \right ) ^{3}-3/8\,\sinh \left ( dx+c \right ) \right ) \cosh \left ( dx+c \right ) +3/8\,dx+3/8\,c \right ) +{a}^{3}\cosh \left ( dx+c \right ) \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.14679, size = 429, normalized size = 1.61 \begin{align*} \frac{3}{64} \, a^{2} b{\left (24 \, x + \frac{e^{\left (4 \, d x + 4 \, c\right )}}{d} - \frac{8 \, e^{\left (2 \, d x + 2 \, c\right )}}{d} + \frac{8 \, e^{\left (-2 \, d x - 2 \, c\right )}}{d} - \frac{e^{\left (-4 \, d x - 4 \, c\right )}}{d}\right )} - \frac{1}{20480} \, b^{3}{\left (\frac{{\left (25 \, e^{\left (-2 \, d x - 2 \, c\right )} - 150 \, e^{\left (-4 \, d x - 4 \, c\right )} + 600 \, e^{\left (-6 \, d x - 6 \, c\right )} - 2100 \, e^{\left (-8 \, d x - 8 \, c\right )} - 2\right )} e^{\left (10 \, d x + 10 \, c\right )}}{d} + \frac{5040 \,{\left (d x + c\right )}}{d} + \frac{2100 \, e^{\left (-2 \, d x - 2 \, c\right )} - 600 \, e^{\left (-4 \, d x - 4 \, c\right )} + 150 \, e^{\left (-6 \, d x - 6 \, c\right )} - 25 \, e^{\left (-8 \, d x - 8 \, c\right )} + 2 \, e^{\left (-10 \, d x - 10 \, c\right )}}{d}\right )} - \frac{3}{4480} \, a b^{2}{\left (\frac{{\left (49 \, e^{\left (-2 \, d x - 2 \, c\right )} - 245 \, e^{\left (-4 \, d x - 4 \, c\right )} + 1225 \, e^{\left (-6 \, d x - 6 \, c\right )} - 5\right )} e^{\left (7 \, d x + 7 \, c\right )}}{d} + \frac{1225 \, e^{\left (-d x - c\right )} - 245 \, e^{\left (-3 \, d x - 3 \, c\right )} + 49 \, e^{\left (-5 \, d x - 5 \, c\right )} - 5 \, e^{\left (-7 \, d x - 7 \, c\right )}}{d}\right )} + \frac{a^{3} \cosh \left (d x + c\right )}{d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.00611, size = 1193, normalized size = 4.47 \begin{align*} \frac{35 \, b^{3} \cosh \left (d x + c\right ) \sinh \left (d x + c\right )^{9} + 120 \, a b^{2} \cosh \left (d x + c\right )^{7} + 840 \, a b^{2} \cosh \left (d x + c\right ) \sinh \left (d x + c\right )^{6} - 1176 \, a b^{2} \cosh \left (d x + c\right )^{5} + 70 \,{\left (6 \, b^{3} \cosh \left (d x + c\right )^{3} - 5 \, b^{3} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{7} + 5880 \, a b^{2} \cosh \left (d x + c\right )^{3} + 7 \,{\left (126 \, b^{3} \cosh \left (d x + c\right )^{5} - 350 \, b^{3} \cosh \left (d x + c\right )^{3} + 225 \, b^{3} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{5} + 840 \,{\left (5 \, a b^{2} \cosh \left (d x + c\right )^{3} - 7 \, a b^{2} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{4} + 70 \,{\left (6 \, b^{3} \cosh \left (d x + c\right )^{7} - 35 \, b^{3} \cosh \left (d x + c\right )^{5} + 75 \, b^{3} \cosh \left (d x + c\right )^{3} + 12 \,{\left (8 \, a^{2} b - 5 \, b^{3}\right )} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{3} + 630 \,{\left (32 \, a^{2} b - 7 \, b^{3}\right )} d x + 840 \,{\left (3 \, a b^{2} \cosh \left (d x + c\right )^{5} - 14 \, a b^{2} \cosh \left (d x + c\right )^{3} + 21 \, a b^{2} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )^{2} + 280 \,{\left (64 \, a^{3} - 105 \, a b^{2}\right )} \cosh \left (d x + c\right ) + 35 \,{\left (b^{3} \cosh \left (d x + c\right )^{9} - 10 \, b^{3} \cosh \left (d x + c\right )^{7} + 45 \, b^{3} \cosh \left (d x + c\right )^{5} + 24 \,{\left (8 \, a^{2} b - 5 \, b^{3}\right )} \cosh \left (d x + c\right )^{3} - 6 \,{\left (128 \, a^{2} b - 35 \, b^{3}\right )} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )}{17920 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 97.2029, size = 496, normalized size = 1.86 \begin{align*} \begin{cases} \frac{a^{3} \cosh{\left (c + d x \right )}}{d} + \frac{9 a^{2} b x \sinh ^{4}{\left (c + d x \right )}}{8} - \frac{9 a^{2} b x \sinh ^{2}{\left (c + d x \right )} \cosh ^{2}{\left (c + d x \right )}}{4} + \frac{9 a^{2} b x \cosh ^{4}{\left (c + d x \right )}}{8} + \frac{15 a^{2} b \sinh ^{3}{\left (c + d x \right )} \cosh{\left (c + d x \right )}}{8 d} - \frac{9 a^{2} b \sinh{\left (c + d x \right )} \cosh ^{3}{\left (c + d x \right )}}{8 d} + \frac{3 a b^{2} \sinh ^{6}{\left (c + d x \right )} \cosh{\left (c + d x \right )}}{d} - \frac{6 a b^{2} \sinh ^{4}{\left (c + d x \right )} \cosh ^{3}{\left (c + d x \right )}}{d} + \frac{24 a b^{2} \sinh ^{2}{\left (c + d x \right )} \cosh ^{5}{\left (c + d x \right )}}{5 d} - \frac{48 a b^{2} \cosh ^{7}{\left (c + d x \right )}}{35 d} + \frac{63 b^{3} x \sinh ^{10}{\left (c + d x \right )}}{256} - \frac{315 b^{3} x \sinh ^{8}{\left (c + d x \right )} \cosh ^{2}{\left (c + d x \right )}}{256} + \frac{315 b^{3} x \sinh ^{6}{\left (c + d x \right )} \cosh ^{4}{\left (c + d x \right )}}{128} - \frac{315 b^{3} x \sinh ^{4}{\left (c + d x \right )} \cosh ^{6}{\left (c + d x \right )}}{128} + \frac{315 b^{3} x \sinh ^{2}{\left (c + d x \right )} \cosh ^{8}{\left (c + d x \right )}}{256} - \frac{63 b^{3} x \cosh ^{10}{\left (c + d x \right )}}{256} + \frac{193 b^{3} \sinh ^{9}{\left (c + d x \right )} \cosh{\left (c + d x \right )}}{256 d} - \frac{237 b^{3} \sinh ^{7}{\left (c + d x \right )} \cosh ^{3}{\left (c + d x \right )}}{128 d} + \frac{21 b^{3} \sinh ^{5}{\left (c + d x \right )} \cosh ^{5}{\left (c + d x \right )}}{10 d} - \frac{147 b^{3} \sinh ^{3}{\left (c + d x \right )} \cosh ^{7}{\left (c + d x \right )}}{128 d} + \frac{63 b^{3} \sinh{\left (c + d x \right )} \cosh ^{9}{\left (c + d x \right )}}{256 d} & \text{for}\: d \neq 0 \\x \left (a + b \sinh ^{3}{\left (c \right )}\right )^{3} \sinh{\left (c \right )} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.47622, size = 474, normalized size = 1.78 \begin{align*} \frac{14 \, b^{3} e^{\left (10 \, d x + 10 \, c\right )} - 175 \, b^{3} e^{\left (8 \, d x + 8 \, c\right )} + 480 \, a b^{2} e^{\left (7 \, d x + 7 \, c\right )} + 1050 \, b^{3} e^{\left (6 \, d x + 6 \, c\right )} - 4704 \, a b^{2} e^{\left (5 \, d x + 5 \, c\right )} + 6720 \, a^{2} b e^{\left (4 \, d x + 4 \, c\right )} - 4200 \, b^{3} e^{\left (4 \, d x + 4 \, c\right )} + 23520 \, a b^{2} e^{\left (3 \, d x + 3 \, c\right )} - 53760 \, a^{2} b e^{\left (2 \, d x + 2 \, c\right )} + 14700 \, b^{3} e^{\left (2 \, d x + 2 \, c\right )} + 71680 \, a^{3} e^{\left (d x + c\right )} - 117600 \, a b^{2} e^{\left (d x + c\right )} + 5040 \,{\left (32 \, a^{2} b - 7 \, b^{3}\right )}{\left (d x + c\right )} +{\left (23520 \, a b^{2} e^{\left (7 \, d x + 7 \, c\right )} - 4704 \, a b^{2} e^{\left (5 \, d x + 5 \, c\right )} - 1050 \, b^{3} e^{\left (4 \, d x + 4 \, c\right )} + 480 \, a b^{2} e^{\left (3 \, d x + 3 \, c\right )} + 175 \, b^{3} e^{\left (2 \, d x + 2 \, c\right )} - 14 \, b^{3} + 1120 \,{\left (64 \, a^{3} - 105 \, a b^{2}\right )} e^{\left (9 \, d x + 9 \, c\right )} + 420 \,{\left (128 \, a^{2} b - 35 \, b^{3}\right )} e^{\left (8 \, d x + 8 \, c\right )} - 840 \,{\left (8 \, a^{2} b - 5 \, b^{3}\right )} e^{\left (6 \, d x + 6 \, c\right )}\right )} e^{\left (-10 \, d x - 10 \, c\right )}}{143360 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]